منابع مشابه
Work Related to Lighthouse
This paper examines the relationship between Lighthouse and current verification and analysis work within the system community. Recent work on ownership often describes ownership using flow insensitive or flow sensitive types. At times this boundary is not perfectly clear. Flow insensitive ownership analysis tends to use simpler models that facilitate static checking of the system in question. ...
متن کاملTo the Lighthouse
The extreme hypothesis that essentially all types of ultrarelativistic outflow – specifically AGN jets, pulsar wind nebulae and GRB –are electromagnetic, rather than gas dynamical, phenomena is considered. Electromagnetic flows are naturally anisotropic and self-collimating so as to produce jet-like features. The relativistic force-free description of these flows, which is simpler than the rela...
متن کاملDetails of Lighthouse
Lighthouse is an on-line interface for a Web-based information retrieval system. It integrates two known presentations of the retrieved results { the ranked list and clustering visualization { in a novel and eeective way. We describe a working implementation of the system. It accepts queries from a user, collects the retrieved documents from the search engine, organizes and presents them to the...
متن کاملLighthouse: Showing the Way to Relevant Information
Lighthouse is an on-line interface for a Web-based information retrieval system. It accepts queries from a user, collects the retrieved documents from the search engine, organizes and presents them to the user. The system integrates two known presentations of the retrieved results – the ranked list and clustering visualization – in a novel and effective way. It accepts the user’s input and adju...
متن کاملLighthouse Principle for Diffusion in Social Networks
The article investigates influence relation between two sets of agents in a social network. It proposes a logical system that captures propositional properties of this relation valid in all threshold models of social networks with the same topological structure. The logical system consists of Armstrong axioms for functional dependence and an additional Lighthouse axiom. The main results are sou...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1900
ISSN: 0028-0836,1476-4687
DOI: 10.1038/061393a0